Spatial-Yap: A Spatio-Deductive Database System
نویسندگان
چکیده
منابع مشابه
Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications
In this paper we describe our experiment using an extension of the deductive database system LDL ++ AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL NT88] with the possibility to perform tempo...
متن کاملThe MyYapDB Deductive Database System
We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison of using stati...
متن کاملAn Object - Based Data Model and a Deductive Lan - guage for Spatio - Temporal Database
We discuss data models and languages in relation to computational environments in which data access and tools for analysis are integrated in order to support data-intensive and numerically-intensive modelling activities in a class of scientiic database systems. We describe a simple model of scientiic activity in order to motivate the development of a new conceptual data model for complex, spati...
متن کاملComputationally Feasible Query Answering over Spatio-thematic Ontologies
Providing query answering facilities at the conceptual level of a geographic data model requires deduction, and deduction in geographical information systems (GIS) is a demanding task due to the size of the data that are stored in secondary memory. In particular, this is the case for deductive query answering w.r.t. spatio-thematic ontologies, which provide a logical conceptualization of an app...
متن کاملDeduction and Deductive Databases for Geographic Data Handlingg ?
The representation of complex spatial domains in conventional databases suuers from fragmented representation of object structure , lack of instance-level spatial relationships, and the generation of large combinatoric search spaces in query analysis. The deductive capabilities provided by a deductive database ooer some assistance in solving these problems, in particular by enabling spatial rea...
متن کامل